LISP 论文
概述
John McCarthy 于1960年发表的《Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I》，是计算机科学史上最具影响力的论文之一，首次系统描述了 LISP 语言，开创了函数式编程范式。
关键内容
论文信息
| 条目 | 内容 |
|---|---|
| 标题 | Recursive Functions of S-表达式</td> </tr> <tr> <td><strong>作者</strong></td> <td>[[John McCarthy |
| 发表时间 | 1960年4月 |
| 刊物 | Communications of the ACM, Vol. 3, No. 4, pp. 184-195 |
核心贡献
- S-表达式：以原子和有序对递归定义的统一数据表示
- 五个基本函数：
car、cdr、cons、atom、eq - 条件表达式：将
if-then-else从语句提升为表达式 - 递归函数定义：将递归提升为首选控制结构
- λ 表达式和高阶函数：函数成为第一等值
- eval 函数：用不到一页篇幅定义的 LISP 自解释器，被称为"计算机科学史上最美丽的一页"
- 垃圾回收：首次引入自动内存管理
实现传奇
Steve Russell（McCarthy 的学生）看到论文中的 eval 定义后，直接将其翻译为 IBM 704 机器码，无意中创造了历史上第一个 LISP 解释器。McCarthy 本人最初认为 eval 只是理论定义。
历史影响
来源
- raw/books/计算机科学/05-mccarthy-lisp.md